Dear GAP forum,

does LLL-algorithm (or some of modifications) offer possibility to
decide memebship (of some element in Z^n in the given lattice?
I need some bibliography on this topic, if possible.
(I would like to avoid excursions to Preburger arithmetic).

Jaroslav Gurican

P.S.: The answers (if any) should go to my own address, I think.
gurican@fmph.uniba.sk